Lemme de Fatou
Permet d'établir une majoration d'intégrale avec des \(\varliminf\)
- hypothèses :
- \((f_n)_n\) est une suite de fonctions mesurables positives
- résultats :
- $$\int\varliminf_{n\to+\infty}f_n\,d\mu\leqslant\varliminf_{n\to+\infty}\int f_n\,d\mu$$
- éléments de preuve : théorème de convergence monotone
Théorème de convergence monotone
